Disjunction

java.lang.Object

edu.uky.ai.lp.logic.BooleanExpression

edu.uky.ai.lp.logic.NAryBooleanExpression

edu.uky.ai.lp.logic.Disjunction

All Implemented Interfaces:: Expression, Formula

public class Disjunction
extends NAryBooleanExpression

Represents an expression with 1 or more disjuncts, at least one of which must be true.

Author:: Stephen G. Ware

Field Summary

Fields inherited from class edu.uky.ai.lp.logic.NAryBooleanExpression
arguments

Fields inherited from class edu.uky.ai.lp.logic.BooleanExpression
operator
Constructor Summary

Constructors

Constructor Description

Disjunction(Expression... disjuncts)
Constructs a new disjunction with the given arguments.

Method Summary

Modifier and Type	Method	Description
`Disjunction`	`substitute(Unifier unifier)`	Return a version of this formula with its variables replaced with the values assigned to them by a unifier.
`java.lang.String`	`toString()`

Methods inherited from class edu.uky.ai.lp.logic.BooleanExpression

equals, hashCode, substituteArguments, toString, unify

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Details
- Disjunction
  
  public Disjunction(Expression... disjuncts)
  
  Constructs a new disjunction with the given arguments.
  
  Parameters:
  
  disjuncts - the disjuncts
Method Details
- toString
  
  public java.lang.String toString()
  
  Overrides:
  
  toString in class java.lang.Object
- substitute
  
  public Disjunction substitute(Unifier unifier)
  
  Description copied from interface: Formula
  
  Return a version of this formula with its variables replaced with the values assigned to them by a unifier.
  
  Parameters:
  
  unifier - the unifier
  
  Returns:
  
  the formula with variables replaced